由于

于是有

见定理 3.3.4

见定理 3.3.2

由定理 3.3.2 的备注即得.

证毕.